In this paper we bring together results from a series of previous papers to prove the constructive version of the Gelfand duality theorem in any Grothendieck topos , obtaining a dual equivalence between the category of commutative C*-algebras and the category of compact, completely regular locales in the topos.

G. C. J. Midgley; XIV—Linguistic Rules, Proceedings of the Aristotelian Society, Volume 59, Issue 1, 1 June 1959, Pages 271–290, https://doi.org/10.1093/aristot.

Foucault’s critique of early modern political theory aimed at displacing sovereignty as the principle of intelligibility of power. In the genealogical literature since Foucault, sovereignty has become a residual category lacking analytic specificity, largely displaced by governance, in turn equated with politics. We argue that Foucault and the Foucauldians have not understood that the flourishing of governance has presupposed a symbolic regime with a division of knowledge-power-law characteristic of the democratic sovereign. The conflation of governance with politics, together with the (...) sliding of sovereignty under governance, has left Foucauldians unable to diagnose the dangers present in varying possible sovereignty-governance configurations. (shrink)

Marcel Gauchet spoke of the “eclipse of the political” during the neo-liberal era, but with the rise of populism he is now forced to speak of a “revenge of the political”. As the eclipse was discussed in terms of a new era of individualization, understood as the culmination of the “disenchantment of the world”, one has a right to ask what is the place of individualization in the era of the political’s revenge, particularly as, in the face of Covid 19, (...) the refusal to wear masks is couched in terms of the defense of individual liberties? In what is an immanent critique of Gauchet’s claims, individualization is considered under four rubrics: abstract individualization vs. concrete socialization; the dilemmas of recognition; rejection of alterity; and the loss of the sense of the social. The paper concludes that the “revenge” should be understood as a revenge of an “anti-political” politics. (shrink)

Christology seems to fall fairly clearly into two divisions. The first is concerned with the truth of the two propositions: ‘Christ is God’ and ‘Christ is a man’. The second is concerned with the mutual compatibility of these propositions. The first part of Christology tends to confine itself to what is sometimes called ‘positive theology’: that is to say, it is largely given over to examining the Jons revelationis —let us not prejudge currently burning issues by asking what this is—to (...) see what evidence can be found for the truth of these propositions. Clearly, the methods used will be above all those of New Testament exegesis. The second part of Christology will necessarily consist entirely of that speculative theology which is contrasted with positive theology. Even if the earliest speculation on this topic is to be found in the New Testament itself and thus becomes fair game for the exegetes, any attempt to relate the primary truths, ‘Christ is God’ and ‘Christ is a man’, to eachother is a work of reflection, and in the terminology I am using speculative. (shrink)

In a discussion-note in Mind, Father P. M. Farrell, O.P., gave an account, in what he admitted to be an embarrassingly brief compass, of the Thomist doctrine concerning evil. There is one sentence in this discussion which at first glance appears paradoxical. Father Farrell has been arguing that a universe containing ‘corruptible good’ as well as incorruptible is better than one containing ‘incorruptible good’ only. He continues: ‘If, however, they are to manifest this corruptible good, they must be corruptible and (...) they must sometimes corrupt.’ The final words, despite Father Farrell's italics, strike one as expressing, not a self-evident truth, but a non sequitur. The fact that I am capable of committing murder does not entail that I will at some time commit it. It is not immediately obvious that a similar entailment holds in the case of corruption and corruptibility. (shrink)

In his celebrated masterpiece, Symposium, Plato imagines a high-society dinner-party in Athens in 416 BC at which the guests - including the comic poet Aristophanes and, of course, Plato's mentor Socrates - each deliver a short speech in praise of love. The sequence of dazzling speeches culminates in Socrates' famous account of the views of Diotima, a prophetess who taught him that love is our means of trying to attain goodness. And then into the party bursts the drunken Alcibiades, the (...) most popular and notorious Athenian of the time, who insists on praising Socrates himself rather than love, and gives us a brilliant sketch of this enigmatic character. The power, humour, and pathos of Plato's creation engages the reader on every page. This new translation is complemented by full explanatory notes and an illuminating introduction. (shrink)

One of the most extensive yet least conclusive methodological debates within religious studies revolves around the question of what, precisely, the phenomenology of religion is and what contribution it can make to the study of religion. I do not intend to answer this important question here. To do so satisfactorily would require a range of historical, philosophical and methodological inquiry which would go quite beyond the bounds of a single article. My intention in this paper is, by comparison, unambitious. It (...) is to take one view of what phenomenology of religion is and to consider an area outside that usually explored by students of religion which can, nonetheless, shed some light on how religions might be studied in a way which is in accordance with the phenomenology of religion so understood. What follows will offer an answer to the question of what contribution one particular understanding of phenomenology might make to the study of religion, but no attempt will be made to establish whether or not this particular understanding ought to be regarded as normative. (shrink)

The Statesman is Plato's neglected political work, but it is crucial for an understanding of the development of his political thinking. In some respects it continues themes from the Republic, particularly the importance of knowledge as entitlement to rule. But there are also changes: Plato has dropped the ambitious metaphysical synthesis of the Republic, changed his view of the moral psychology of the citizen, and revised his position on the role of law and institutions. In its presentation of the statesman's (...) expertise, the Statesman modifies, as well as defending in original ways, this central theme of the Republic. (shrink)

A study in philosophical logic of the meaning of 'true'. Dr Williams demonstrates the shortcomings of various analyses which interpret 'true' as a predicate or truth as a relational property, and clears up a number of important points about propositions, quantification, definite descriptions and correspondence. This 'deflationary metaphysics' is interwoven with a positive theory of his own, which seeks to develop ideas about the late Arthur Prior. The work is marked throughout by great clarity, precision and thoroughness.

A study in philosophical logic of the meaning of 'true'. Dr Williams demonstrates the shortcomings of various analyses which interpret 'true' as a predicate or truth as a relational property, and clears up a number of important points about propositions, quantification, definite descriptions and correspondence. This 'deflationary metaphysics' is interwoven with a positive theory of his own, which seeks to develop ideas about the late Arthur Prior. The work is marked throughout by great clarity, precision and thoroughness.

_Verificationism_ is the first comprehensive history of a concept that dominated philosophy and scientific methodology between the 1930s and the 1960s. The verificationist principle - the concept that a belief with no connection to experience is spurious - is the most sophisticated version of empiricism. More flexible ideas of verification are now being rehabilitated by a number of philosophers. C.J. Misak surveys the precursors, the main proponents and the rehabilitators. Unlike traditional studies, she follows verificationist theory beyond the demise of (...) positivism to examine its reappearance in the work of modern philosophers. Most interestingly, she argues that despite feminism's strenuous opposition to positivism, verificationist thought is at the heart of much of contemporary feminist philosophy. _Verificationism_ is an excellent assessment of a major and influential system of thought. (shrink)

Ash, C.J., Generalizations of enumeration reducibility using recursive infinitary propositional sentences, Annals of Pure and Applied Logic 58 173–184. We consider the relation between sets A and B that for every set S if A is Σ0α in S then B is Σ0β in S. We show that this is equivalent to the condition that B is definable from A in a particular way involving recursive infinitary propositional sentences. When α = β = 1, this condition is that B is (...) enumeration reducible to A. We establish further generalizations involving infinitely many sets and ordinals. (shrink)